ONOFF
划词翻译
导航
建议反馈
词典App

check time中文是什么意思

  • 超记时间

"查查词典"手机版

千万人都在用的超大词汇词典翻译APP

  • 例句与用法
  • Removing irrelevant atomic formulas for checking timed automata efficiently . in proc
    因此,无关的原子约束是广泛存在的。
  • Code - checking time
    核码时间
  • Confirm the checking time , and have a good preparation . such as : contact owners , arrange cars
    确定看房时间,做好充分准备,如:联系好业主,安排好看房班车等。
  • In the process of real - time video coding , it is valuable to reduce the checking times to 4 4 blocks
    有效减少4 4块预测模式的判断次数,在实时视频编码过程中很有价值。
  • Checking timed automata for linear duration properties . journal of computer science and technology , sept . 2000 , 15 : 423 - 429 . 9 li yong , dang van hung
    由可达性算法得到的符号状态中,通常有着n n 1 2个约束n为时钟个数。
  • In this paper , it is shown that some atomic formulas of symbolic states generated by the algorithms can be removed to improve the model checking time - and space - efficiency . such atomic formulas are called as irrelevant atomic formulas . a method is also presented to detect irrelevant formulas based on the test - reset information about clock variables
    一个时间自动机是一个五元组n , l 0 , c , e , i ,其中n为一个有穷的位置集合, l 0n是初始状态, c是一个取实数值的时钟变量的有穷集合, e ng c 2 cn是转换的集合。
  • The beacon receiver tester studied in this paper is a part of domestic ground check equipments of the some type airplane that our army imported from abroad . it is a new type of general - service check machine , and it can check if the work of various types of airborne beacon receiver testers is normal fleetly and accurately . thus , not only the operate personnel can be reduced to one person , but also the check time is short , and the check efficiency is high
    本课题所研究的军用信标机检查仪是我军从国外进口某型飞机地面检测设备国产化的一部分,是一种新型的通用信标检查仪器,它可以快速准确地检查多种机型的机载信标机是否工作正常,不但操作人员可以减少到一人,而且检查时间短,检查效率高,并有很强的通用性,适用于我军航空兵部队多种机型的机载信标接收机。
  • 推荐英语阅读
check time的中文翻译,check time是什么意思,怎么用汉语翻译check time,check time的中文意思,check time的中文check time in Chinesecheck time的中文check time怎么读,发音,例句,用法和解释由查查在线词典提供,版权所有违者必究。
Last modified time:Wed, 13 Aug 2025 00:29:56 GMT

说出您的建议或使用心得